home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / tests / Htest.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  636 b   |  21 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.295775, -0.0957747, .L0, "1");
  3. v2 = .free(0.523944, 0.107042, .L0, "2");
  4. v3 = .free(-0.115493, 0.340845, .L0, "3");
  5. v4 = .free(0.149296, 0.690141, .L0, "4");
  6. l1 = .l.vv(v1, v2, .L0, .longline);
  7. l2 = .l.vlpar(v3, l1, .L0);
  8. vv = .v.ll(l1, l2);
  9. ll = .l.vv(vv, v4);
  10. l3 = .l.vlperp(v3, l1, .L0);
  11. l4 = .l.vlperp(v1, l1, .L0);
  12. vvv = .v.ll(l3, l4);
  13. lll = .l.vv(vvv, v4);
  14. ccc = .c.lll(lll, l1, l3, 1);
  15. v5 = .free(0.48169, -0.188732, .L0, "1");
  16. v6 = .free(0.808451, -0.0169014, .L0, "2");
  17. v7 = .free(0.825352, -0.369014, .L0, "3");
  18. l5 = .l.vv(v5, v6, .L0);
  19. l6 = .l.vv(v6, v7, .L0);
  20. l7 = .l.vv(v7, v5, .L0);
  21.